Merge branch 'replace-hardcoded-margins' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Thu, 20 Aug 2020 00:30:37 +0000 (00:30 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Thu, 20 Aug 2020 00:30:37 +0000 (00:30 +0000)
commit2031bcd38861bc13a101f0c3fc295ed36a5cc96e
treeef5fa342b0b388bf371971c779f72053bb0df985
parent4e157b33dcbcbf51b15ae64fc49315cb350fa6af
parent19c2cc1296cd22a4ebeff2cb8aa9d29179bd7bb5
Merge branch 'replace-hardcoded-margins' into 'master'

tooltip & placessidebar: Replace hard-coded margins with theme

See merge request GNOME/gtk!2444
gtk/theme/Adwaita/_common.scss